first-order logic

The first step toward understanding neural nets is to abstract from the biological neuron, and to focus on its character as a threshold logic unit ( TLU).

理解神经网络的第一步是从对抽象生物神经开始，并把重点放在阈值逻辑单元（TLU）这一特征上。

Automated Theorem Proving Based on Semantic Tableau in First-Order Logic

基于语义tableau的一阶逻辑自动定理证明

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤.

he had studied neurology as well as mathematics and logic, and had seen his work on the differential analyser as a first step towards a thinking machine.

他不但学习数学和逻辑，同时还学习神经学，并且将差分机看作实现思想机器的第一步。

Inductive logic programming based on first-order logic has great expressivity, with which features can be represented in an integrated framework.

归纳逻辑编程（ILP）借助一阶谓词逻辑的强大描述能力，可以自然地表述各种特征，将其整合到一个逻辑框架下，从中学习目标关系。

This paper describes a methodology based on ILP for upgrading na ? ve Bayesian classifiers to first-order logic.

该文提出形成朴素贝叶斯分类器的一阶扩展的一般方法.

Application of First Degree Boolean Difference for Test Generation of Combinational Logic Circuit

一阶布尔差分在组合逻辑电路测试生成中的应用

Study on the technique of the time domain equalizer in OFDM systems First, this paper generally introduces the development of Programmable Logic Device ( PLD) and the characteristic of FPGA.

正交频分复用调制中的一种时域均衡器本论文内容安排如下：第一章介绍了PLD（可编程逻辑器件）和OFDM（正交频分复用）技术的发展历史。

This language of first-order logic is very important.

一阶逻辑语言是非常重要的.

We define an extended class of integer linear first-order logic formula, which supports most integer linear and bit-wise expressions in C programs including integer division, integer modular and bit-wise operation.

我们定义了一类整数线性一阶逻辑判定公式，此类判定公式支持C程序中常用的整数线性运算。我们优化了判定过程，并扩充了对整数除法、取余和位运算的支持。

Two outstanding problems in planning practice were pointed, the first is the defect in causality and value logic, the second is that traffic volume forecast is short of credibility.

指出了规划中存在的突出问题：规划逻辑上存在价值逻辑和因果逻辑的缺陷；规划依据的需求预测置信水平不高。

Study on Uncertainty Reasoning in Lattice-Valued First-Order Logic L_ ( vfl) Based on Lattice Implication Algebra

基于格蕴涵代数的格值一阶逻辑L（vfl）中的不确定性推理研究

In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.

为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。